On the variety of Heyting algebras with successor generated by all finite chains
نویسندگان
چکیده
Received 22 December 2008 226 J.L. CASTIGLIONI AND H.J. SAN MARTÍN
منابع مشابه
Errata on "On the variety of Heyting algebras with successor generated by all finite chains"
In [3] we have claimed that finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor, and in particular all finite chains generate a proper subvariety of the latter. As Xavier Caicedo made us notice, this claim is not true. He proved, using techniques of Kripke models, that the intuitionistic calculus with S has finite model propert...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملLocally finite varieties of Heyting algebras
We show that for a variety V of Heyting algebras the following conditions are equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite; (3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is generated by its finite members if, and onl...
متن کاملMartin Frontal operators in weak Heyting algebras
In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [10]. A frontal operator in a weak Heyting algebra A is an expansive operator τ preserving finite meets which also satisfies the equation τ(a) ≤ b ∨ (b → a), for all a, b ∈ A. These operators were studied from an algebraic, logical an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Reports on Mathematical Logic
دوره 45 شماره
صفحات -
تاریخ انتشار 2010